destination($l$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($l$.2).1